Information-flow security for a core of JavaScript

机译：JavaScript核心的信息流安全性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Daniel Hedin; Andrei Sabelfeld;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Information-flow security for JavaScript and its APIs [J] . Daniel Hedin, Luciano Bello, Andrei Sabelfeld Journal of computer security . 2016,第2期

机译：JavaScript及其API的信息流安全性
2. Verifying That a Compiler Preserves Concurrent Value-Dependent Information-Flow Security [J] . Robert Sison, Toby Murray LIPIcs : Leibniz International Proceedings in Informatics . 2019,第4期

机译：验证编译器保留并发的值相关的信息流安全性
3. Using Information-Flow Methods to Analyze the Security of Cyber-Physical Systems [J] . Gerry Howser, Bruce McMillin Computer . 2017,第4期

机译：使用信息流方法分析网络物理系统的安全性
4. Information-Flow Security for a Core of JavaScript [C] . Hedin Daniel, Sabelfeld Andrei 2012 IEEE 25th computer security foundations symposium . 2012

机译：JavaScript核心的信息流安全性
5. Formal End-to-End Verification of Information-Flow Security for Complex Systems. [D] . Costanzo, David. 2016

机译：复杂系统的信息流安全性的正式端到端验证。
6. EUS-guided placement of fiducial markers for stereotactic body radiation therapy in pancreatic cancer: feasibility security and a new quality score [O] . Mariana Figueiredo, Christelle Bouchart, Luigi Moretti, 2021

机译：在胰腺癌中为立体定向体放射治疗的基准标记的EUS指导位置：可行性安全和新的质量分数
7. Compositional Information-flow Security for Interactive Systems [O] . Willard Rafnsson, Andrei Sabelfeld 2015

机译：交互式系统的组合信息流安全性

Information-flow security for a core of JavaScript

著录项

引文网络

相似文献

相关主题

期刊订阅